]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb951ff) | patch
theme: Make menu ornament slightly wider
authorFlorian Müllner <fmuellner@gnome.org>
Thu, 30 Jul 2015 15:25:59 +0000 (17:25 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Thu, 30 Jul 2015 15:31:33 +0000 (17:31 +0200)
commitefde11a0f3d5b66df0079678bd2be1d17e28e12a
treeea64e05f6cec566ec90c0656faf5eafc941b19a4tree | snapshot
parentfb951ff9b53e844db03bedf76a67edd6f36c366ccommit | diff
theme: Make menu ornament slightly wider

The existing width works well enough for a narrow character like the dot,
but doesn't leave any whitespace for a wider one like the checkmark.

https://bugzilla.gnome.org/show_bug.cgi?id=741366
data/theme/gnome-shell-high-contrast.css diff | blob | history
data/theme/gnome-shell-sass diff | blob | history
data/theme/gnome-shell.css diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.